implicational quantifier перевод

implicational: импликационный - implicational calculus - implicational logic -implicational quantifier
quantifier: 1) _лог. _мат. квантор Ex: universal quantifier всеобщий квантор, квантор общности Ex: existential quantifier квантор существования2) квантификатор, кванторное слово (количественное числительное, на
implicational calculus: мат. импликативное исчисление
implicational logic: мат. импликационная логика
bounded quantifier: ограниченный квантор
choice quantifier: мат. квантор выбора
dummy quantifier: мат. фиктивный квантор
existence quantifier: квантор существования
existential quantifier: квантор существования
function quantifier: матем. функциональный квантор
fuzzy quantifier: матем. нечёткий [размытый] квантор
generality quantifier: квантор (все)общности квантор всеобщности
generalized quantifier: мат. обощенный квантор
hyperarithmetical quantifier: мат. гиперарифметический квантор
logical quantifier: мат. логический квантор